Addition and subtraction formulas in trigonometry